An important perquisite for verification of the correctness of software is the ability to write mathematically precise documents that can be read by practitioners and advanced users. Without such documents, we won't know what properties we should verify. Tabular expressions, in which predicate expressions may appear, have been found useful for this purpose. We frequently use partial functions in our tabular documentation. Conventional interpretations of expressions that describe predicates are not appropriate for our application because they do not deal with (...) partial functions. Experience with this documentation has led us to choose a logic in which predicates are total but functions remain partial. We have found that this particular interpretation results in simpler expressions and is easily understood by practitioners. (shrink)

- Poétique et Études littéraires – GALERIE – Nouvel article.

A collection of 13 papers by David Lewis, written on a variety of topics including causation, counterfactuals and indicative conditionals, the direction of time, subjective and objective probability, explanation, perception, free will, and rational decision. The conclusions reached include the claim that time travel is possible, that counterfactual dependence is asymmetrical, that events are properties of spatiotemporal regions, that the Prisoners’ Dilemma is a Newcomb problem, and that causation can be analyzed in terms of counterfactual dependence between events. These (...) papers can be seen as a “prolonged campaign” for a philosophical position Lewis calls “Humean supervenience,” according to which “all there is to the world is a vast mosaic of local matters of particular fact,” with all global features of the world thus supervening on the spatiotemporal arrangement of local qualities. (shrink)

David Hume (1711-76) is the grand intellectual figure of the Scottish Enlightenment. Ironically, what is now considered his magnum opus, the ill-received three-volume A Treatise of Human Nature (1739-40), was rejected by Hume himself by 1751. Subsequently, when Hume first compiled his Essays and Treatises on Several Subjects two years later, he excluded the Treatise and considered this new collection of essays to be his complete philosophical writings. Hume revised the Essays and Treatises some ten times in various editions, (...) adding, modifying and deleting material. This 1777 edition incorporates his final changes which he made quite literally on his deathbed, fully aware that this edition would be the last to involve his input. As such it is considered the definitive edition of Hume's philosophical writings and should be read alongside the first definitive edition of the Treatise. (shrink)

The authors use empirical research into the environmental practices of 31 manufacturing small and medium-sized enterprises (SMEs) to show that ‚business performance’ and ‚regulation’ considerations drive behaviour. They suggest that this is inevitable, given the market-based decision-making frames that permeate and dominate the industry in which manufacturing SMEs operate. Since the environment is a pillar of corporate social responsibility (CSR), the findings have important implications for CSR policy, which promotes voluntary actions predicated on a business case. It is argued that (...) this approach will not alter the behaviour of manufacturing SMEs significantly because CSR practice will be regarded as an optional and costly ‚extra’ affecting core business activity. Consequently, the use and development of existing regulatory structures, providing minimum standards for many activities covered by CSR, remains the most effective means through which the behaviour of manufacturing SMEs will be changed in the short to medium-term. Another feature of the paper is the distinction made between ‚business performance’ and the ‚business case’ argument. Business performance emphasises cost reductions and efficiency whereas the business case accentuates the benefits to shareholders of good practices as their firms become more attractive to stakeholders and society. Manufacturing SMEs␣try to improve business performance because of the pressures placed on them by market-dominated decision-making frames. These frames do not encourage manufacturing SMEs to undertake voluntary actions for the benefit of wider stakeholders and society. (shrink)

One. Hundred. Years. of. Homosexuality. I. In 1992, when the patriots among us will be celebrating the fivehundredth anniversary of the discovery of America by Christopher Columbus, our cultural historians may wish to mark the centenary of  ...

David Wiggins; II*—Deliberation and Practical Reason, Proceedings of the Aristotelian Society, Volume 76, Issue 1, 1 June 1976, Pages 29–52, https://doi.org/10.

Philosophy and anthropology need to integrate their accounts of what a morality is. I identify three desiderata that an account of morality should satisfy: (1) it should recognize significant diversity and variation in the major kinds of value, (2) it should specify a set of criteria for what counts as a morality, and (3) it should indicate the basis for distinguishing between more or less justifiable moralities, or true and false moralities. I will discuss why these three desiderata are hard (...) to satisfy at the same time, and why they are controversial. Anthropologists and philosophers will differ on which ones they are inclined to reject. I argue that all three should be accepted and can be satisfied. (shrink)

In the eyes of many “classical” phenomenologists, Kantianism has seemed to invite individuals to leave the rich, complexly motivated environment of lived experience in favor of a shadowy, formal kingdom of abstract duties and rights. Yet there have been notable attempts within the phenomenological tradition to articulate a richer vision of Kantian moral consciousness and to exhibit, from a first-person perspective, the shape of mental life and the standing dispositions that befit membership in a Kantian kingdom of ends. Here I (...) offer two such competing paradigms of Kantian moral consciousness: on the one hand, the responsive, situational Kantian moral consciousness that recent commentators have reconstructed from Martin Heidegger’s work, and on the other hand, the very different, explicitly cosmopolitan Kantian moral consciousness traced in Hannah Arendt’s conception of an “enlarged mentality.” While each is arguably a legitimately Kantian view, these alternative models of moral consciousness offer considerably different spirits of Kantianism with different benefits and detriments, and each places very different cognitive and moral burdens on agents. (shrink)

There are many ways the world might be, for all I know. For all I know, it might be that there is life on Jupiter, and it might be that there is not. It might be that Australia will win the next Ashes series, and it might be that they will not. It might be that my great-grandfather was my great-grandmother’s second cousin, and it might be that he was not. It might be that copper is a compound, and it (...) might be that it is not. (shrink)

According to a “selective” (as opposed to “instructive”) model of human language capacity, people come to know more than they experience. The discrepancy between experience and eventual capacity (the “poverty of the stimulus”) is bridged by genetically provided information. Hence any hypothesis about the linguistic genotype (or “Universal Grammar,” UG) has consequences for what experience is needed and what form people's mature capacities (or “grammars”) will take. This BBS target article discusses the “trigger experience,” that is, the experience that actually (...) affects a child's linguistic development. It is argued that this must be a subset of a child's total linguistic experience and hence that much of what a child hears has no consequence for the form of the eventual grammar. UG filters experience and provides an upper bound on what constitutes the triggering experience. This filtering effect can often be seen in the way linguistic capacity can change between generations. Children only need access to robust structures of minimal (“degree-0”) complexity. Everything can be learned from simple, unembedded “domains” (a grammatical concept involved in defining an expression's logical form). Children do not need access to more complex structures. (shrink)

In an important departure from theories of causation, David Owens proposes that coincidences have no causes, and that a cause is something which ensures that its effects are no coincidence. In Causes and Coincidences, he elucidates the idea of a coincidence as an event which can be analysed into constituent events, the nomological antecedents of which are independent of each other. He also suggests that causal facts can be analysed in terms of non-causal facts, including relations of necessity. Thus, (...) causation is defined in terms of coincidence, and coincidence without reference to causation. David Owens challenges the ideas associated with Hume, Davidson and Lewis, constructing a theory which distinguishes nomological necessity and sufficiency from their logical counterparts. He is able to offer novel solutions to the major problems of causation, including the direction of causation, the logical form of causal statements, the distinction betwen causal connections and logical connections, and the relationship between psychological and physical causation. (shrink)

I develop an account of how mathematized theories in physics represent physical systems, in response to the frequent claim that any such account must presuppose a non-mathematized, and usually linguistic, description of the system represented. The account I develop contains a circularity, in that representation is a mathematical relation between the models of a theory and the system as represented by some other model --- but I argue that this circularity is not vicious, in any case refers in linguistic accounts (...) of meaning and representation, and is simply a consequence of the fact that we have no unmediated, representation-independent access to the world. (shrink)

Nothing can kill a promising research program in ethics more quickly than a plausible argument to the effect that it is committed to a morally repellent consequence. It is especially troubling when a theory one favors is jeopardized in this way. I have this worry about Harry Frankfurt's theory of free will, autonomous agency and moral responsibility, for there is a very plausible argument to the effect that aspects of his view commit him to a version of the late Stoic (...) thesis that acting freely is a matter of ‘making do,’ that is, of bringing oneself to be motivated to act in accordance with the feasible, so that personal liberation can be achieved by resigning and adapting oneself to necessity. In this paper I try to determine whether the theory does in fact commit Frankfurt (and adherents like me) to this result and, if so, what can be done to prevent it. (shrink)

In _Thinking After Heidegger_, David Wood takes up the challenge posed by Heidegger - that after the end of philosophy we need to learn to _think_. But what if we read Heidegger with the same respectful irreverence that he brought to reading the Greeks, Kant, Hegel, Husserl and the others? For Wood, it is Derrida's engagements with Heidegger that set the standard here – enacting a repetition through transformation and displacement. But Wood is not content to crown the new (...) king. Instead he sets up a many-sided conversation between Heidegger, Hegel, Adorno, Nietzsche, Blanchot, Kierkegaard, Derrida and others. Derrida and deconstruction are first critically addressed and then drawn into the fundamental project of philosophical renewal, or renewal _as_ philosophy. The book begins by rewriting Heidegger's inaugural lecture, 'What is Metaphysics?' and ends with an extended analysis of the performativity of his extraordinary _Beitrage_. _Thinking after Heidegger_ will be a valuable text for scholars and students of contemporary philosophy, literature and cultural studies. (shrink)

The question whether two things can be in the same place at the same time is an ambiguous one. At least three distinct questions could be meant: Can two things simpliciter be in the same place at the same time? Can two things of the same kind be in the same place at the same time? Can two substances of the same kind be in the same place at the same time? The answers to these questions vary. In what follows, (...) all three will be discussed in the light both of recent and of classic earlier examinations of the matter. The following theses will be defended. (shrink)

Papineau-David_Doubts-about-indexicality.

There are many people who think that deconstruction has run its course, has had its day, and that it is now time to return to the important business of philosophy, or perhaps to serious ethical, social and political questions. Derrida's work, it is said, leads nowhere but a sterile philosophy of difference that in its de-politicized, de-historicized abstractness is a form of conservatism little better than the kinds of identity thinking to which it seems to be so radically opposed. In (...) short, we must go ‘beyond’ deconstruction. (shrink)

According to a widespread contention, individuals are among the basic building blocks of the world. The contention, however, raises a perennial problem. If individuals are basic, they cannot be fully accounted for in terms of their empirically detectable qualities. But then, how can we detect, or know, or identify, individuals? Shamik Dasgupta has influentially argued that considerations along these lines, together with a lesson from the history of physics, should make us reject any picture on which individuals are basic constituents (...) of reality. In this paper, I defend such a picture against Dasgupta’s argument. (shrink)

In some logics, anything whatsoever follows from a contradiction; call these logics explosive. Paraconsistent logics are logics that are not explosive. Paraconsistent logics have a long and fruitful history, and no doubt a long and fruitful future. To give some sense of the situation, I’ll spend Section 1 exploring exactly what it takes for a logic to be paraconsistent. It will emerge that there is considerable open texture to the idea. In Section 2, I’ll give some examples of techniques for (...) developing paraconsistent logics. In Section 3, I’ll discuss what seem to me to be some promising applications of certain paraconsistent logics. In fact, however, I don’t think there’s all that much to the concept ‘paraconsistent’ itself; the collection of paraconsistent logics is far too heterogenous to be very productively dealt with under a single label. Perhaps that will emerge as we go. (shrink)

In the 1990s, Russia and Argentina both tied their currencies to the dollar to combat inflation. They later devalued under pressure, but only after an extremely costly delay, and only after an explosive spread of monetary surrogates substituting for official currency. This article explains these puzzling developments using an institutional-sociological approach to money, which relates exchange-rate preferences to financial context rather than sectoral position, as is common. It proposes a “lock-in” mechanism explaining delayed devaluation in both cases, as well as (...) Argentina’s greater delay, and explores the linkages between exchange-rate policy and the origins of monetary surrogates. (shrink)

According to a certain conception of language, any sentence can, when used on an occasion, have any of indefinitely many truth-conditions. Such a conception of language gives us reason to think that the question of whether the notion of truth has a distinctive content cannot be settled by looking solely at the predication of truth. By focusing on the predicate ‘true’ when trying to determine the significance of the notion of truth, we may have been looking in the wrong place.